- quantificateur
-
quantificateur [ kɑ̃tifikatɶr ] n. m.• 1929 ling.; de quantifier♦ Log. Symbole qui lie une ou plusieurs variables à une quantité. Quantificateur universel (∀ = « pour tout »). Quantificateur existentiel (∃ = « il existe au moins un »).
● quantificateur ou quantifieur nom masculin Déterminant exprimant une idée de quantité (par exemple tout, deux, chaque). Symbole spécifique d'un langage formel, dont l'emploi syntaxique est régi par des règles de formation et d'inférence et dont l'emploi sémantique est régi par des règles d'interprétation. (Les quantificateurs les plus utilisés sont le quantificateur existentiel et le quantificateur universel.) ● quantificateur ou quantifieur (synonymes) nom masculin Symbole spécifique d'un langage formel, dont l'emploi syntaxique est régi...Synonymes :- quanteurquantificateurn. m. LOG, MATH Opérateur qui lie une ou plusieurs variables à une quantité; symbole désignant un tel opérateur. Quantificateur universel (symbole comme A inversé = "quel que soit..." ou "pour tout..."). Quantificateur existentiel (symbole comme E inversé = "il existe au moins un").⇒QUANTIFICATEUR, subst. masc.A. — LOG., MATH. Opérateur reliant une ou plusieurs variables à une quantité; p. méton., symbole représentant un tel opérateur. Synon. quantifieur (vieilli). Quantificateur universel (symb. ∀ « pour tout, quel que soit »); quantificateur existentiel (symb. ∃ « il existe (au moins un) ») (v. existentiel B 2); quantificateur logique, numérique. À Aristote (...) revient le mérite d'avoir distingué avec une grande netteté le rôle des propositions « universelles » de celui des propositions « particulières », première ébauche des quantificateurs (BOURBAKI, Hist. math., 1960, p. 14).B. — LING. Chacun des déterminants qui indiquent la quantité par laquelle le substantif est défini (d'apr. Ling. 1972). Synon. quantifieur.REM. Quanteur, subst. masc., synon. plus rare de quantificateur). (Ds AUR.-WEIL 1981, VAX Log. 1982).Prononc.:[
]. Étymol. et Hist. 1957 (BLANCHÉ, Introd. à la log. contemporaine, Paris, A. Colin, p. 143). Dér. de quantification par substitution du suff. -ateur (v. -eur2) à -ation.quantificateur [kɑ̃tifikatœʀ] n. m.ÉTYM. V. 1960; de quantifier.❖♦ Log., math. Opérateur reliant une ou plusieurs variables à une quantité. — Symbole indiquant si une relation, une propriété est vérifiée pour tous les éléments d'un ensemble (quantificateur universel représenté par ∀ = « pour tout… ») ou pour un élément au moins (quantificateur existentiel : ∃ = « il existe au moins un [élément] tel que… »).
Encyclopédie Universelle. 2012.
